# void do_jitexec (void * regs, void * exec);
    .file "jitexec.S"
    .text
    .globl do_jitexec
    .type do_jitexec, @function

do_jitexec:
    pushq %rbp
    movq %rsp, %rbp
    pushq %rbx
    pushq %r12
    pushq %r13
    pushq %r14
    pushq %r15
    call *%rsi
    popq %r15
    popq %r14
    popq %r13
    popq %r12
    popq %rbx
    popq %rbp
    ret